Generation and description of a class of random processes

Generation of possibly nonstationary random process with specified autocorrelation functio

Deployment mechanisms on Pioneer Venus probes

Deployment mechanisms were developed to position scientific instruments during probe descent into the Venus atmosphere. Each mechanism includes a provision for pyrotechnic release of the enclosure door, negator springs for positive deployment torque, and an active damper using a shunted dc motor. The deployment time requirement is under 2 seconds, and the deployment shock must be less than 100 g's. The mechanism is completely dry lubricated and constructed mainly of titanium for high strength and high temperature stability. The mechanism was qualified for descent decelerations up to 565 g's and for instrument alignment up to 940 F. The mechanism requirements, the hardware design details, the analytical simulations, and the qualification testing are described

Restoring the balance between doing and being : the functional pastor and Adrian Van Kamm\u27s formative spirituality

https://place.asburyseminary.edu/ecommonsatsdissertations/1395/thumbnail.jp

Rapid Identification of Streptococcal Infections Using Fluorescent Antibody Techniques

The use of fluorescent microscopy coupled with immunological techniques offer new methods for the demonstration of antigen-antibody reactions. The adaptation of these techniques to grouping of beta hemolytic streptococci makes feasible their further adaptation toward identification of group A streptococci in clinical material. Commercially available labeled antibodies against group A beta hemolytic streptococci were obtained for use in this study. A method for the determination of labeled antisera specificity is proposed and a technique for absorbing out any heterologous reacting antibody is described. Using this commercial labeled antisera, subsequent to specificity studies plus absorption if necessary, adaptations of basic fluorescent antibody techniques are suggested for the rapid diagnosis of clinical group A beta hemoytic streptococci infections

Oral History Interview: Christie H. Meadows

This interview is one of series conducted concerning the Oral History of Appalachia. Mr. Christie Meadows was born to a long line of farmers, miners, and loggers in rural Raleigh County, West Virginia. He discusses: his family; his childhood and lessons he learned; different types of trees and their uses; signs of the moon and how to plant by them; farming; his education; technology he had access to; jobs; recreation; livestock; mining (including strip mining); Future Farmers of America; folk medicine; a brief mention of beekeeping; as well as other topics.https://mds.marshall.edu/oral_history/1476/thumbnail.jp

Ergonomic Models of Anthropometry, Human Biomechanics and Operator-Equipment Interfaces

The Committee on Human Factors was established in October 1980 by the Commission on Behavioral and Social Sciences and Education of the National Research Council. The committee is sponsored by the Office of Naval Research, the Air Force Office of Scientific Research, the Army Research Institute for the Behavioral and Social Sciences, the National Aeronautics and Space Administration, and the National Science Foundation. The workshop discussed the following: anthropometric models; biomechanical models; human-machine interface models; and research recommendations. A 17-page bibliography is included

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode